gdk: remove the core_pointer field from GdkDisplay
authorPaolo Borelli <pborelli@gnome.org>
Sun, 28 Feb 2016 14:15:29 +0000 (15:15 +0100)
committerPaolo Borelli <pborelli@gnome.org>
Mon, 29 Feb 2016 13:15:04 +0000 (14:15 +0100)
commit38ad57948c5960cdcb8e2487153a2dfb94a5dfab
tree8aeeb5a4e677115bb52163ad7c40e17cf672a95b
parent502744be8557e67166020ce864b8115c02d17c0d
gdk: remove the core_pointer field from GdkDisplay

It is not used anymore, so no need to set it

https://bugzilla.gnome.org/show_bug.cgi?id=762820
gdk/broadway/gdkdisplay-broadway.c
gdk/gdkdisplayprivate.h
gdk/mir/gdkmirdevicemanager.c
gdk/quartz/gdkdisplay-quartz.c
gdk/wayland/gdkdisplay-wayland.c
gdk/win32/gdkdisplay-win32.c
gdk/x11/gdkdisplay-x11.c